TSTP Solution File: ITP133^2 by Nitpick---2016